Finitary relation

Results: 227



#Item
71Finitary relation / RSA / Mathematics / FO / Finite model theory

University of Scranton ACM Student Chapter / Computing Sciences Department 21st Annual High School Programming Contest (2011) -----------------------------------------------------------------------------Problem 1: Arithm

Add to Reading List

Source URL: www.cs.uofs.edu

Language: English - Date: 2012-03-12 15:15:12
72Mathematical structures / Structure / Mental processes / Perception / Arity / Finitary relation / Binary / Algebraic structure / Pitch / Mathematics / Universal algebra / Abstract algebra

569 British Journal of Developmental Psychology (2004), 22, 569–[removed]The British Psychological Society www.bps.org.uk

Add to Reading List

Source URL: katestevens.weebly.com

Language: English - Date: 2010-09-25 05:09:21
73Propositional calculus / Predicate logic / Logic in computer science / Logic programming / Relational model / Relational algebra / Horn clause / Literal / Finitary relation / Logic / Mathematical logic / Mathematics

QuickFOIL: Scalable Inductive Logic Programming Qiang Zeng Jignesh M. Patel David Page

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2014-10-10 16:41:18
74Philosophical logic / Database theory / Relational model / Binary operations / Data management / Tuple / Finitary relation / Stable model semantics / Modal logic / Logic / Mathematics / Science

Believe It or Not: Adding Belief Annotations to Databases Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle,

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2009-07-27 10:29:02
75Knowledge representation / Ontology / Information science / Knowledge engineering / RDF Schema / Independence / Function / PP / Finitary relation / Semantic Web / Information / Science

PARIS: Probabilistic Alignment of Relations, Instances, and Schema INRIA Saclay – ˆIle-de-France 4 rue Jacques Monod[removed]Orsay Cedex, France

Add to Reading List

Source URL: vldb.org

Language: English - Date: 2011-11-23 01:03:08
76Knowledge / Fellows of the Royal Society / John Morgan / Philosophy of mathematics / Mathematics / Academia / Finitary relation

Essays of an Information Scientist: Journalology, KeyWords Plus, and other Essays, Vol:13, p.376, 1990 Current Contents, #42, October 15, 1990 EUGENE GARFIELD”

Add to Reading List

Source URL: www.garfield.library.upenn.edu

Language: English - Date: 2001-05-15 17:02:51
77Data management / Relational model / WordNet / Artificial intelligence / Information extraction / Finitary relation / Table / Semantic network / Function / Knowledge representation / Science / Mathematics

WiSeNet: Building a Wikipedia-based Semantic Network with Ontologized Relations Andrea Moro Roberto Navigli

Add to Reading List

Source URL: wwwusers.di.uniroma1.it

Language: English - Date: 2012-11-03 07:43:14
78Model theory / Electronic design automation / Relational model / Z3 / Unsatisfiable core / Logic synthesis / First-order logic / Transitive closure / Finitary relation / Logic / Mathematics / Mathematical logic

Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2012-09-09 10:02:45
79Binary operations / Finitary relation / Logic / Mathematical logic / Tuple / Sheaf / Mean / Exponentiation / Database normalization / Mathematics / Abstract algebra / Data management

The L LUNATIC Data-Cleaning Framework Floris Geerts1 Giansalvatore Mecca2 Paolo Papotti3 Donatello Santoro2,4 3 1 University of Antwerp – Antwerp, Belgium 2 Universit`a della Basilicata – Potenza, Italy

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2013-08-01 05:49:52
80Information / Philosophical logic / Mathematical logic / Model theory / Communication / Modal logic / Finitary relation / Code / Interpretation / Logic / Data transmission / Science

The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2013-04-26 09:39:32
UPDATE